OS GSO ISO/IEC TR 24718:2017
ISO/IEC TR 24718:2005
Omani Standard
Current Edition
·
Approved on
03 October 2017
Information technology -- Programming languages -- Guide for the use of the Ada Ravenscar Profile in high integrity systems
OS GSO ISO/IEC TR 24718:2017 Files
English
74 Pages
Current Edition
Reference Language
Obtaining this standard through the store is currently unavailable. You can acquire it directly from its source.
OS GSO ISO/IEC TR 24718:2017 Scope
This Technical Report provides a description of the motivations behind the Ravenscar Profile, to show how Ada programs using the profile can be analysed, and gives examples of usage.
Best Sellers From Information Sector
OS GSO ISO/TR 18492:2017
ISO/TR 18492:2005
Omani Standard
Long-term preservation of electronic document-based information
GSO ISO/TR 18492:2017
ISO/TR 18492:2005
Gulf Standard
Long-term preservation of electronic document-based information
GSO ISO/TS 23635:2024
ISO/TS 23635:2022
Gulf Standard
Blockchain and distributed ledger technologies — Guidelines for governance
GSO ISO/IEC 15773:2013
ISO/IEC 15773:1998
Gulf Standard
Information technology -- Telecommunications and information exchange between systems -- Broadband Private Integrated Services Network -- Inter-exchange signalling protocol -- Transit counter additional network feature
Recently Published from Information Sector
GSO ISO 19168-1:2026
ISO 19168-1:2025
Gulf Standard
Geographic information — Geospatial API for features — Part 1: Core
GSO ISO/IEC TS 19770-10:2026
ISO/IEC TS 19770-10:2025
Gulf Standard
Information technology — IT asset management — Part 10: Guidance for implementing ITAM
GSO ISO/IEC TS 33062:2026
ISO/IEC TS 33062:2025
Gulf Standard
Information technology — Process assessment — Process assessment model for quantitative processes to support higher levels of process capability in ISO/IEC 33020
GSO ISO/IEC 23773-1:2026
ISO/IEC 23773-1:2024
Gulf Standard
Information technology — User interfaces for automatic simultaneous interpretation systems — Part 1: General